es{-}interface{-}sublist($X$;$z$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$filter($\lambda$$e$.$e$ $\in_{b}$ $X$;$z$)